Ada programming language - PDFSEARCH.IO - Document Search Engine

Ada programming language
Results: 260

#	Item
231	2013 Parc des Algorithmes Add to Reading List Source URL: www.systematic-paris-region.org Language: English - Date: 2013-07-18 09:34:16 Ada programming language AdaCore 6WIND Oracle Corporation Application software Open source Open-source software Computer security Cisco Systems Computing Technology Software quality
232	Extended Pascal ISO 10206:1990 Add to Reading List Source URL: www.pascal-central.com Language: English - Date: 2008-07-25 15:33:48 Procedural programming languages Standards organizations Query languages Pascal SQL Ada American National Standards Institute C International Organization for Standardization Computing Software engineering Programming language theory
233	Case Study BAE Systems Eurofighter Typhoon Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-10-27 16:35:34 Software engineering AdaCore Eurofighter Typhoon GNAT Ada BAE Systems A Sharp Panavia Tornado BAE Hawk Ada programming language Computing Aircraft
234	ACM Special Interest Group on the Ada Programming Language Annual International Conference in cooperation with SIGCAS, SIGCSE, SIGPLAN, Ada-Europe, and the Ada Resource Association Add to Reading List Source URL: www.sigada.org Language: English - Date: 2008-10-20 15:03:28
235	Pascal ISO 7185 :1990 Add to Reading List Source URL: www.pascal-central.com Language: English - Date: 2008-07-25 15:33:17 Standards organizations C programming language Pascal Ada SQL ANSI C American National Standards Institute IEEE Standards Association Comparison of Pascal and C Computing Software engineering Programming language theory
236	STATIC VERIFICATION OF DYNAMIC PROPERTIES Dr. Alain Deutsch Chief Technical Officer Add to Reading List Source URL: nesl.ee.ucla.edu Language: English - Date: 2005-10-01 21:19:04 Polyspace Program analysis Software testing Ada Programming language Formal methods Logic in computer science Static program analysis Dynamic program analysis Computing Software engineering Programming language theory
237	Pascal ISO 7185:1990 Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2003-11-17 13:55:14 Standards organizations C programming language Pascal Ada American National Standards Institute SQL IEEE Standards Association ANSI C Programming language Computing Software engineering Programming language theory
238	Pascal ISO 7185:1990 Add to Reading List Source URL: www.fh-jena.de Language: English - Date: 2007-10-15 12:28:52 Standards organizations C programming language Pascal Ada American National Standards Institute SQL IEEE Standards Association ANSI C Programming language Computing Software engineering Programming language theory
239	Extended Pascal ISO 10206:1990 Add to Reading List Source URL: www.fh-jena.de Language: English - Date: 2007-10-15 12:28:52 Procedural programming languages Standards organizations Query languages Pascal SQL Ada American National Standards Institute C International Organization for Standardization Computing Software engineering Programming language theory
240	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Ariane 5 Flight 501 Failure - A Case Study in System Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2006-05-24 07:19:58 Systems engineering Ada programming language Cluster Engineering Ariane 5 Software engineering Formal methods Systems design Requirement Spaceflight European Space Agency Software development

UPDATE